(set-logic QF_UFNRA)
(declare-const v2 Bool)
(declare-const r0 Real)
(declare-const r2 Real)
(declare-const r3 Real)
(declare-const r4 Real)
(assert (and (= (/ 0.883 r2) (- 0.2146)) v2))
(declare-const r5 Real)
(declare-const r6 Real)
(declare-const r7 Real)
(check-sat-assuming-model (r0 r2 r3 r4 r5 r6 r7 ) (119763.0 866326413.4 32.0 0.0 172343.0 7412.0 0.20737 ))
